Areces, Carlos: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Physical and Physiological Demands of Experienced Male Basketball Players During a Competitive Game

Puente, Carlos, Abián-Vicén, Javier, Areces, Francisco, López, Roberto, Del Coso, Juan

Journal:

The Journal of Strength and Conditioning Research

Year:

2017

Language:

english

File:

PDF, 148 KB

english, 2017

2

Completeness in Hybrid Type Theory

Carlos Areces, Patrick Blackburn, Antonia Huertas…

Journal:

Journal of Philosophical Logic

Year:

2014

Language:

english

File:

PDF, 563 KB

english, 2014

3

Relation-changing modal operators: Fig. 1.

Areces, Carlos, Fervari, Raul, Hoffmann, Guillaume

Journal:

Logic Journal of IGPL

Year:

2015

Language:

english

File:

PDF, 539 KB

english, 2015

4

Arco Atlántico || El Espacio Público: ciudad y ciudadaníaby Jordi Borja; Zaida Muxí

Review by: Manuel Carlos Álvarez-Areces Rodríguez

Journal:

Year:

2004

File:

PDF, 3.14 MB

2004

5

Interindividual variability in sweat electrolyte concentration in marathoners

Lara, Beatriz, Gallo-Salazar, César, Puente, Carlos, Areces, Francisco, Salinero, Juan José, Del Coso, Juan

Journal:

Journal of the International Society of Sports Nutrition

Year:

2016

Language:

english

File:

PDF, 614 KB

english, 2016

6

Special Issue on Hybrid Logics

Carlos Areces, Patrick Blackburn

Journal:

Journal of Applied Logic

Year:

2010

Language:

english

File:

PDF, 91 KB

english, 2010

7

Hybrid Logics: Characterization, Interpolation and Complexity

Carlos Areces, Patrick Blackburn and Maarten Marx

Journal:

Journal of Symbolic Logic

Year:

2001

Language:

english

File:

PDF, 696 KB

english, 2001

8

Analyzing the Core of Categorial Grammar

Carlos Areces, Raffaella Bernardi

Journal:

Journal of Logic, Language and Information

Year:

2004

Language:

english

File:

PDF, 133 KB

english, 2004

9

HLA genetic profile of Mapuche (Araucanian) Amerindians from Chile

Rey, Diego, Parga-Lozano, Carlos, Moscoso, Juan, Areces, Cristina, Enriquez-de-Salamanca, Mercedes, FernÃ¡ndez-Honrado, Mercedes, Abd-El-Fatah-Khalil, Sedeka, Alonso-Rubio, Javier, Arnaiz-Villena, Ant

Journal:

Molecular Biology Reports

Year:

2013

Language:

english

File:

PDF, 449 KB

english, 2013

10

Human Leukocyte Antigen-DRB1 Class II Genes in Mexican Amerindian Mazahuas: Genes and Languages Do Not Correlate

Arnaiz-Villena, Antonio, Abd-El-Fatah, Sedeka, Granados-Silvestre, María Angeles, Parga-Lozano, Carlos, Gómez-Prieto, Pablo, Rey, Diego, Areces, Cristina, Peñaranda, Patricia, Menjívar, Martha, Rodríg

Journal:

Genetic Testing and Molecular Biomarkers

Year:

2011

Language:

english

File:

PDF, 221 KB

english, 2011

11

Special Issue on the Origins of the Populations of the Aleutian Islands || HLA Genes in Populations of the Aleutian Islands

DIEGO REY, CRISTINA ARECES, CARLOS PARGA-LOZANO, PABLO GÓMEZ-PRIETO, MICHAEL H. CRAWFORD and ANTONIO ARNAIZ-VILLENA

Journal:

Year:

2010

Language:

english

File:

PDF, 709 KB

english, 2010

12

Repairing the interpolation theorem in quantified modal logic

Carlos Areces, Patrick Blackburn, Maarten Marx

Journal:

Annals of Pure and Applied Logic

Year:

2003

Language:

english

File:

PDF, 244 KB

english, 2003

13

The complexity of definability by open first-order formulas

Areces, Carlos, Campercholi, Miguel, Penazzi, Daniel, Ventura, Pablo

Journal:

Logic Journal of IGPL

Year:

2020

File:

PDF, 189 KB

2020

14

Hybrid Type Theory: A Quartet in Four MovementsDOI:10.5007/1808-1711.2011v15n2p225

Areces, Carlos, Blackburn, Patrick, Huertas, Antonia, Manzano, MarÃa

Journal:

Principia an international journal of epistemology

Year:

2012

File:

PDF, 195 KB

2012

15

Methods for modalities 3

Journal:

Journal of Applied Logic

Year:

2006

Language:

english

File:

PDF, 56 KB

english, 2006

16

Impacto de un complejo de antioxidantes sobre la fragmentación del ADN espermático en varones infértiles

Carlos Balmori Boticario, Cristina Areces Viña, Alberto Pacheco Castro, Marta San Celestino Carchenilla, Juan Antonio García Velasco

Journal:

Revista Internacional de Andrología

Year:

2010

File:

PDF, 259 KB

2010

17

CYP1A2 Genotype Variations Do Not Modify the Benefits and Drawbacks of Caffeine during Exercise: A Pilot Study

Salinero, Juan, Lara, Beatriz, Ruiz-Vicente, Diana, Areces, Francisco, Puente-Torres, Carlos, Gallo-Salazar, César, Pascual, Teodoro, Del Coso, Juan

Journal:

Year:

2017

Language:

english

File:

PDF, 1.10 MB

english, 2017

18

THE EXPRESSIVE POWER OF MEMORY LOGICS

ARECES, CARLOS, FIGUEIRA, DIEGO, FIGUEIRA, SANTIAGO, MERA, SERGIO

Journal:

The Review of Symbolic Logic

Year:

2011

Language:

english

File:

PDF, 219 KB

english, 2011

19

Caffeine Improves Basketball Performance in Experienced Basketball Players

Puente, Carlos, Abián-Vicén, Javier, Salinero, Juan, Lara, Beatriz, Areces, Francisco, Del Coso, Juan

Journal:

Year:

2017

Language:

english

File:

PDF, 707 KB

english, 2017

20

HLA genes in Amerindian immigrants to Madrid (Spain): epidemiology and a virtual transplantation waiting list

Carlos Parga-Lozano, Diego Rey-Medrano, Pablo Gomez-Prieto, Cristina Areces, Juan Moscoso, Sedeka Abd-El-Fatah-Khalil, Enrique Moreno, Antonio Arnaiz-Villena

Journal:

Molecular Biology Reports

Year:

2011

Language:

english

File:

PDF, 281 KB

english, 2011

21

Characterization, definability and separation via saturated models

Areces, Carlos, Carreiro, Facundo, Figueira, Santiago

Journal:

Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 815 KB

english, 2014

22

Resolution with Order and Selection for Hybrid Logics

Carlos Areces, Daniel Gorín

Journal:

Journal of Automated Reasoning

Year:

2011

Language:

english

File:

PDF, 979 KB

english, 2011

23

GÉNERO Y CONCILIACIÓN || HISTORIA DE LAS MUJERES EN ESPAÑAby Elisa Garrido; Pilar Folguera; Margarita Ortega; Cristina Segura

Review by: Manuel Carlos Álvarez-Areces Rodríguez

Journal:

Year:

2006

File:

PDF, 287 KB

2006

24

Experiments in Theorem Proving for Topological Hybrid Logic

Dmitry Sustretov, Guillaume Hoffmann, Carlos Areces, Patrick Blackburn

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 283 KB

english, 2009

25

TECNOLOGÍAS DE LA INFORMACIÓN SOCIEDAD DEL CONOCIMIENTO || LA REGULACIÓN EN LA SOCIEDAD DE LA INFORMACIÓN: UNA APROXIMACIÓN JURÍDICA

MANUEL CARLOS ÁLVAREZ-ARECES RODRÍGUEZ

Journal:

Year:

2006

File:

PDF, 644 KB

2006

26

ACTN3 X-allele carriers had greater levels of muscle damage during a half-ironman

Del Coso, Juan, Salinero, Juan José, Lara, Beatriz, Gallo-Salazar, César, Areces, Francisco, Puente, Carlos, Herrero, David

Journal:

European Journal of Applied Physiology

Year:

2017

Language:

english

File:

PDF, 449 KB

english, 2017

27

Learning How to Ground a Plan â Partial Grounding in Classical Planning

Gnad, Daniel, Torralba, Ãlvaro, DomÃnguez, MartÃn, Areces, Carlos, Bustos, Facundo

Journal:

Proceedings of the AAAI Conference on Artificial Intelligence

Year:

2019

File:

PDF, 492 KB

2019

28

Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction)

Carlos Areces, Daniel Gorín

Journal:

Journal of Applied Logic

Year:

2010

Language:

english

File:

PDF, 249 KB

english, 2010

29

Las Alpujarrasregion (South East Spain) HLA genes study: evidence of a probable success of 17th century repopulation from North Spain

Javier Longás, Jorge Martínez-Laso, Diego Rey, Cristina Areces, Eduardo Gómez Casado, Carlos Parga-Lozano, Francisco Luna, Mercedes Enriquez de Salamanca, Pedro Moral, Antonio Arnaiz-Villena

Journal:

Molecular Biology Reports

Year:

2012

Language:

english

File:

PDF, 427 KB

english, 2012

30

Ecological risk assessment of the introduction of exotic carrageenophytes in the tropical Western Atlantic

Mallea, Arsenio José Areces, Villanueva, Felipe Carlos Alvarez, Bernardi, Juliane, Cabrera, Ruben

Journal:

Journal of Applied Phycology

Year:

2014

Language:

english

File:

PDF, 681 KB

english, 2014

31

Polygenic Profile and Exercise-Induced Muscle Damage by a Competitive Half-Ironman

Del Coso, Juan, Salinero, Juan J., Lara, Beatriz, Gallo-Salazar, César, Areces, Francisco, Herrero, David, Puente, Carlos

Journal:

The Journal of Strength and Conditioning Research

Year:

2017

Language:

english

File:

PDF, 740 KB

english, 2017

32

Amerindians normalized waist circumference and obesity diagnosis standarized by biochemical and HLA data

Antonio Arnaiz-Villena, Mercedes Fernández-Honrado, Cristina Areces, Ignacio Arribas, Carmen Coca, Mercedes Enriquez-de-Salamanca, Carlos Parga-Lozano, Sedeka Abd-El-Fatah, Diego Rey

Journal:

Molecular Biology Reports

Year:

2012

Language:

english

File:

PDF, 176 KB

english, 2012

33

Unsorted Functional Translations

Carlos Areces, Daniel Gorín

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 265 KB

english, 2011

34

ACTN3 genotype influences exercise-induced muscle damage during a marathon competition

Del Coso, Juan, Valero, Marjorie, Salinero, Juan José, Lara, Beatriz, Díaz, Germán, Gallo-Salazar, César, Ruiz-Vicente, Diana, Areces, Francisco, Puente, Carlos, Carril, Juan Carlos, Cacabelos, Ramón

Journal:

European Journal of Applied Physiology

Year:

2017

Language:

english

File:

PDF, 774 KB

english, 2017

35

A caffeinated energy drink improves jump performance in adolescent basketball players

Abian-Vicen, Javier, Puente, Carlos, Salinero, Juan José, González-Millán, Cristina, Areces, Francisco, Muñoz, Gloria, Muñoz-Guerra, Jesús, Del Coso, Juan

Journal:

Year:

2014

Language:

english

File:

PDF, 282 KB

english, 2014

36

Preface

Carlos Areces, Stéphane Demri

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 103 KB

english, 2009

37

Galois Connections in Categorial Type Logic

Carlos Areces, Raffaella Bernardi, Michael Moortgat

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 445 KB

english, 2004

38

Los primeros pobladores de América y sus relaciones con poblaciones del Océano Pacífico según los genes HLA

Diego Rey, Cristina Areces, Mercedes Enríquez-de-Salamanca, Carlos Parga-Lozano, Sedeka Abd-El-Fatah, Mercedes Fernández, Antonio Arnaiz-Villena

Journal:

Year:

2012

File:

PDF, 571 KB

2012

39

Special Issue on Computational Semantics || Analyzing the Core of Categorial Grammar

Carlos Areces and Raffaella Bernardi

Journal:

Journal of Logic, Language and Information

Year:

2004

Language:

english

File:

PDF, 1.60 MB

english, 2004

40

Global environmental changes: setting priorities for Latin American coastal habitats

Turra, Alexander, Cróquer, Aldo, Carranza, Alvar, Mansilla, Andrés, Areces, Arsenio J., Werlinger, Camilo, Martínez-Bayón, Carlos, Nassar, Cristina Aparecida Gomes, Plastino, Estela, Schwindt, Evangel

Journal:

Global Change Biology

Year:

2013

Language:

english

File:

PDF, 360 KB

english, 2013

41

Caffeine-containing energy drink improves physical performance in female soccer players

Lara, Beatriz, Gonzalez-Millán, Cristina, Salinero, Juan Jose, Abian-Vicen, Javier, Areces, Francisco, Barbero-Alvarez, Jose Carlos, Muñoz, Víctor, Portillo, Luis Javier, Gonzalez-Rave, Jose Maria, De

Journal:

Year:

2014

Language:

english

File:

PDF, 229 KB

english, 2014

42

Acute consumption of p-synephrine does not enhance performance in sprint athletes

Gutiérrez-Hellín, Jorge, Salinero, Juan José, Abían-Vicen, Javier, Areces, Francisco, Lara, Beatriz, Gallo, Cesar, Puente, Carlos, DEL COSO, JUAN

Journal:

Applied Physiology Nutrition and Metabolism

Year:

2015

Language:

english

File:

PDF, 507 KB

english, 2015

43

Symmetric blocking

Areces, Carlos, Orbe, Ezequiel

Journal:

Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 615 KB

english, 2015

44

[Studies in Logic and Practical Reasoning] Handbook of Modal Logic Volume 3 || 14 Hybrid logics

Year:

2007

Language:

english

File:

PDF, 665 KB

english, 2007

45

Satisfiability for relation-changing logics

Areces, Carlos, Fervari, Raul, Hoffmann, Guillaume, Martel, Mauricio

Journal:

Journal of Logic and Computation

Year:

2018

Language:

english

File:

PDF, 1024 KB

english, 2018

46

Completeness results for memory logics

Carlos Areces, Santiago Figueira, Sergio Mera

Journal:

Annals of Pure and Applied Logic

Year:

2012

Language:

english

File:

PDF, 292 KB

english, 2012

47

19TH WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WoLLIC 2012)

Luke Ong, Carlos Areces, Santiago Figueira and Ruy de Queiroz

Journal:

Bulletin of Symbolic Logic

Year:

2013

Language:

english

File:

PDF, 227 KB

english, 2013

48

The modal logic of copy and remove

Areces, Carlos, van Ditmarsch, Hans, Fervari, Raul, Schwarzentruber, François

Journal:

Information and Computation

Year:

2017

Language:

english

File:

PDF, 1.03 MB

english, 2017

49

HTab: a Terminating Tableaux System for Hybrid Logic

Guillaume Hoffmann, Carlos Areces

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 320 KB

english, 2009

50

SYMMETRIES IN MODAL LOGICS

ARECES, CARLOS, ORBE, EZEQUIEL

Journal:

Bulletin of Symbolic Logic

Year:

2015

Language:

english

File:

PDF, 515 KB

english, 2015

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски